Science - PDFSEARCH.IO - Document Search Engine

Science
Results: 788472

#	Item
161	Verifying Curve25519 Software Yu-Fang Chen1 , Chang-Hong Hsu2 , Hsin-Hung Lin3 , Peter Schwabe4 , Ming-Hsien Tsai1 , Bow-Yaw Wang1 , Bo-Yin Yang1 , and Shang-Yi Yang1 ? 1 Institute of Information Science Add to Reading List Source URL: precision.moscito.org Language: English - Date: 2014-12-08 15:41:25 X86 architecture X86-64 Z3 Computing Computer hardware Computer engineering
162	Learning Outcomes for Master of Science (MSc) in Marketing National Qualification Framework for Iceland MSc in Marketing at Reykjavik University MSc in Marketing is a 90 ECTS-credit master’s degree programme. It focuse Add to Reading List Source URL: en.ru.is Language: English - Date: 2018-06-27 06:36:08 Education Marketing Cognition Human behavior Research Critical thinking Master's degree Academic degree Evaluation Bachelor's degree Outline of marketing
163	An Algorithmic Framework for Synthesis of Concurrent Programs E. Allen Emerson and Roopsha Samanta Dept. of Computer Science and Computer Engineering Research Centre, University of Texas, Austin, TX 78712, USA. {emerson, Add to Reading List Source URL: www.cs.purdue.edu Language: English - Date: 2016-07-15 23:00:36 Concurrency control Computing Edsger W. Dijkstra Concurrent computing Computer programming Concurrency Transaction processing Synchronization Lock Monitor Parallel computing Granularity
164	Secure PRNGs from Specialized Polynomial Maps over Any Fq Feng-Hao Liu1 , Chi-Jen Lu2 , and Bo-Yin Yang2 1 Department of Computer Science, Brown University, Providence RI, USA Add to Reading List Source URL: precision.moscito.org Language: English - Date: 2012-03-10 01:26:44 Cryptography Mathematics Polynomials Multivariate cryptography Algebra Pseudorandom number generator Computer algebra Hidden Field Equations QUAD Field extension Cryptographically secure pseudorandom number generator Mersenne Twister
165	Poster: (SF)2 I - Structure Field Software Fault Isolation Spyridoula Gravani, Zhuojia Shen, John Criswell Department of Computer Science, University of Rochester Email: {sgravani, zshen10, criswell}@cs.rochester.edu Ab Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-05-14 06:12:20 Computer architecture System software Operating system kernels Linux kernel Monolithic kernels Kernel Loadable kernel module Protection ring Operating system Mach Rootkit Mandatory access control
166	Task Learning through Visual Demonstration and Situated Dialogue Changsong Liu and Joyce Y. Chai Nishant Shukla and Song-Chun Zhu Department of Computer Science and Engineering Center for Vision, Cognition, Learning and Add to Reading List Source URL: shukla.io Language: English - Date: 2017-05-18 12:57:06 Learning Humancomputer interaction Cognition Machine learning Multimodal interaction User interfaces Graphical model Artificial intelligence Robot learning Natural language processing Parsing Dialogue system
167	The Unbearable Lightness of Monitoring: Direct Monitoring in BitTorrent Tom Chothia, Marco Cova, Chris Novakovic, and Camilo Gonz´alez Toro School of Computer Science, University of Birmingham, UK Abstract. It is known Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2017-06-07 20:45:26 BitTorrent Peer-to-peer file sharing File sharing Computing Comparison of BitTorrent clients Torrent file The Pirate Bay Copyright infringement Peer-to-peer Peer exchange Torrent poisoning
168	American Political Science Review, 1, 1–20 c American Political Science Association 2017 doi:S0003055416000654 Add to Reading List Source URL: web.mit.edu Language: English - Date: 2017-02-27 21:23:05 Economy Commercial policy International trade International relations Customs duties International taxation Protectionism Non-tariff barriers to trade Tariff Export Foreign trade of the United States Free trade
169	NSADAbstract Domains for Type Juggling Vincenzo Arceri1 Department of Computer Science, University of Verona, Italy Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2017-07-06 06:07:28 Software engineering Computing Computer programming Procedural programming languages Programming languages Logic in computer science Programming language semantics Abstract interpretation Operational semantics ALGOL 68 Syntax Programming language
170	Learning Outcomes for Master of Science (MSc) in Human Resource Management and Organizational Psychology National Qualification Framework for Iceland MSc in Human Resource Management and Organizational Psychology at Reyk Add to Reading List Source URL: en.ru.is Language: English - Date: 2018-06-27 06:45:26 Behavioural sciences Metaphysics Behavior Organizational studies Applied psychology Industrial and organizational psychology Systems psychology Educational psychology Education Psychology Academic degree Organizational behavior